Cap Theorem Proof - Consistency, Availability, Partition Tolerance